Nuprl Definition : so_apply4
12,41
postcript
pdf
x
(
s1
,
s2
,
s3
,
s4
) ==
x
(
s1
,
s2
,
s3
,
s4
)
latex
Definitions
f
(
a
)
origin